Trong logic bậc nhất, người ta có thể lượng hóa các đối tượng, nhưng không thể lượng hóa các thuộc tính. Nghĩa là, chúng ta có thể lấy một câu nguyên tử như Cube(b) và lượng hóa nó với một lượng từ [2]:

∃x Cube(x)

Nhưng ta không thể làm tương tự như vậy với các vị từ. Tức là, công thức sau:

∃P P(b)

không phải là một câu hợp pháp của logic bậc nhất. Đây là một câu hợp pháp của logic bậc hai [2].